From e143f6ca5cd5a342965421e10ff3fbce59c3561e Mon Sep 17 00:00:00 2001 From: Sam Reed Date: Fri, 13 Aug 2010 08:07:20 +0000 Subject: [PATCH] Reverting r71010 Does this file even work/is it still used? --- maintenance/language/diffLanguage.php | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/maintenance/language/diffLanguage.php b/maintenance/language/diffLanguage.php index 6ce8a7bb2c..4ead2cee23 100644 --- a/maintenance/language/diffLanguage.php +++ b/maintenance/language/diffLanguage.php @@ -75,6 +75,7 @@ function getMediawikiMessages( $languageCode = 'En' ) { $foo = "wgAllMessages$languageCode"; global $$foo; + global $wgSkinNamesEn; // potentially unused global declaration? // it might already be loaded in LocalSettings.php if ( !isset( $$foo ) ) { @@ -83,9 +84,7 @@ function getMediawikiMessages( $languageCode = 'En' ) { if ( file_exists( $langFile ) ) { print "Including $langFile\n"; include( $langFile ); - } else { - wfDie( "ERROR: The file $langFile does not exist !\n" ); - } + } else wfDie( "ERROR: The file $langFile does not exist !\n" ); } return $$foo; } -- 2.20.1